
#include <config.h>

#include <video.h>
#include <kernel.h>
#include <gdt.h>

int main(struct __grub_mb_info *info){

  KPRINT("Welcome to freeGSD-v0.0.1");
  KPRINT("Booting...");

#  ifdef CONF_SYS_I386
  /* Set up a global descriptor table for paging. */
  gdt_init();
#  endif
  KPRINT("GDT table initialized; base=0x0, limit=4GBytes");

  return 0;

}

